The Barcan Formula in Metaphysics
نویسندگان
چکیده
The Barcan formula (BF) is widely considered a threat to actualism. I show how BF can be cleared of such a charge by construing it as a bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters.
منابع مشابه
Counterpart Semantics at work: An Incompleteness Result in Quantified Modal Logic
In this paper we make use of counterpart semantics to prove an original incompleteness result in quantified modal logic (QML), that is, the system QE .K+BF based on free logic and containing the Barcan formula is incomplete with respect to Kripke semantics. This incompleteness result extends to the system QE .K+CBF+BF obtained by adding the converse of the Barcan formula to QE .K+BF .
متن کاملA General Proof Method for Modal Predicate Logic without the Barcan Formula
We present a general proof method for normal systems of modal predicate logic with identical inference rules for each such logic. Different systems are obtained by changing the conditions under which two formulas are considered complementary. The paper extends previous work in that we are no longer confined. to models in which the Barcan formula and its converse hold. This allows the domain of ...
متن کاملA General Semantics for Quantified Modal Logic
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every propositional modal logic S. If S is canonical our models are based on propositional frames that validate S. We employ frame...
متن کاملShakespearian Modal Logic: A Labelled Treatment of Modal Identity
In this paper we describe a modal proof system arising from the combination of a tableau-like classical system, which incorporates a restricted (“analytical”) version of the cut rule, with a label formalism which allows for a speicialised, logic dependant unification algorithm. The system provides a uniform proof-theoretical treatment of first-order (normal) modal logics with identity, with and...
متن کاملA General Proof Method for First-Order Modal Logic
We present a general sequent-based proof method for first-order modal logics in which the Barcan formula holds. The most important feature of our system is the fact that it has identical inference rules for every modal logic; different modal logics can be obtained by changing the conditions under which two formulas are allowed to resolve against each other It is argued that the proof method is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013